docs: remove short-cut coverage, which is too expensive to generate
authorØyvind Kolås <pippin@gimp.org>
Sat, 7 Apr 2018 22:48:44 +0000 (00:48 +0200)
committerØyvind Kolås <pippin@gimp.org>
Sat, 7 Apr 2018 22:48:44 +0000 (00:48 +0200)
commit5901ea93eca9c3e1367cbf646fa097eb0ec2d49f
tree924b5c922ee2e49eaa7796ad20d165b76fcfccdf
parentbe08101cdf27d6c07542d169fd7534fd4d98da5f
docs: remove short-cut coverage, which is too expensive to generate
docs/index-static.html.in